1. Abstraction refinement for large scale model checking
پدیدآورنده : / Chao Wang, Gary D. Hachtel, Fabio Somenzi
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Computer systems -- Verification -- Mathematical models,Integrated circuits -- Verification -- Mathematical models,Electronic systems -- Verification -- Mathematical model
رده :
QA
76
.
76
.
V47W36
2006
2. Abstraction refinement for large scale model checking
پدیدآورنده : Wang, Chao
کتابخانه: (سمنان)
موضوع : Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems
رده :
QA
76
.
76
.
V47W36
2006
